Semi-Representability of Default Theories in Rational Default Logic
نویسنده
چکیده
Marek and Truszczy nski studied the representability issue for default logic. They proved that an arbitrary default theory can be represented by a weak seminormal default theory provided the language L has been extended by new atoms. We will prove in this paper that their construction preserves also rational and skeptical rational extensions.
منابع مشابه
Domain Theory Meets Default Logic 1
We present a development of the theory of default information structures, combining ideas from domain theory with ideas from non-monotonic logic. Conceptually, our treatment is distinguished from standard default logic in that we view default structures as generating models rather than theories. Reiter's default rules are viewed as non-deterministic algorithms for generating preferred partial m...
متن کاملDomain Theory Meets Default
1 Abstract. We present a development of the theory of default information structures, combining ideas from domain theory with ideas from non-monotonic logic. Conceptually, our treatment is distinguished from standard default logic in that we view default structures as generating models rather than theories. Reiter's default rules are viewed as non-deterministic algorithms for generating preferr...
متن کاملInnnitary Default Logic for Speciication of Nonmonotonic Reasoning A
In this paper we study constructions leading to the formation of belief sets by agents. We focus on the situation when possible belief sets are built incrementally in stages. We call an innnite sequence of theories that represents such a process a reasoning trace. A set of reasoning traces describing all possible reasoning scenarios for the agent is called a reasoning frame. Default logic by Re...
متن کاملIterated Revision in Default Logic
Default logic is supposed to reason with static and consistent default theory, i.e., it can not deal with inconsistencies arising in the situation that an agent receives a sequence of information represented by default theories. To overcome the problem, revision operators for revising default theories have been investigated by many researchers. But none of them has discussed the postulates whic...
متن کاملInnnitary Default Logic for Speciication of Nonmonotonic Reasoning
In this paper we study constructions leading to the formation of belief sets by agents. We focus on the situation when possible belief sets are built incrementally in stages. We call an innnite sequence of theories that represents such a process a reasoning trace. A set of reasoning traces describing all possible reasoning scenarios for the agent is called a reasoning frame. Default logic by Re...
متن کامل